Orthogonal polynomials: definition